Analyzing Software Architecture Descriptions to Generate System-level Tests
نویسندگان
چکیده
Generate System-level Tests Aynur Abdurazik, Zhenyi Jin, A. Je erson O utt, and Elizabeth L. White ISE Department ITT Industries CS Department Software Engineering Research Lab Advanced Engineering and Sciences Software Engineering Research Lab George Mason University 1761 Business Center Drive George Mason University Fairfax, VA 22030-4444 USA Reston, VA 22090 Fairfax, VA 22030-4444 USA +1-703-993-1654 [email protected] +1-703-993-1586 faynur,[email protected] [email protected]
منابع مشابه
SAMAT - A Tool for Software Architecture Modeling and Analysis
A software architecture specification plays a critical role in software development process. SAM is a general framework for developing and analyzing software architecture specifications. SAM supports the scalability of architectural descriptions through hierarchical decomposition and the dependability analysis of architectural descriptions using a dual formalism based on Petri nets and temporal...
متن کاملSuitability of the UML as an Architecture
Increasingly, very high level designs of large software systems are being described by software architectures. A software architecture expresses the overall structure of the system in an abstract, structured way. The Uni ed Modeling Language (UML) is widely used to express midand low-level designs of software, and recent proposals have been made to adapt the UML for use as an architecture desig...
متن کاملDesigning a CPU model: from a pseudo-formal document to fast code
For validating low level embedded software, engineers use simulators that take the real binary as input. Like the real hardware, these full-system simulators are organized as a set of components. The main component is the CPU simulator (ISS), because it is the usual bottleneck for the simulation speed, and its development is a long and repetitive task. Previous work showed that an ISS can be ge...
متن کاملTraffic Scene Analysis using Hierarchical Sparse Topical Coding
Analyzing motion patterns in traffic videos can be exploited directly to generate high-level descriptions of the video contents. Such descriptions may further be employed in different traffic applications such as traffic phase detection and abnormal event detection. One of the most recent and successful unsupervised methods for complex traffic scene analysis is based on topic models. In this pa...
متن کاملFrom UML Descriptions of High-Level Software Architectures to LQN Performance Models
Performance characteristics, such as response time and throughput, play an important role in defining the quality of software products, especially in the case of real-time and distributed systems. The developers of such systems should be able to assess and understand the performance effects of various architectural decisions, starting at an early stage, when changes are easy and less expensive,...
متن کامل